Cannot set OPTIONS pragma --no-termination-check with safe flag.
